Exterior angle theorem